#!/bin/bash
# usage: 

SPEC=$1
PROPERTY=$2

# 设置目标目录
TARGET_DIR="../ce"
if [ ! -d "$TARGET_DIR" ]; then
    mkdir -p "$TARGET_DIR"
    echo "Created counterexample directory: $TARGET_DIR"
fi

# 设置需要查找的目录
SEARCH_DIR="../scripts/x"

# 设置需要查找的文件名
FILE_NAME="cex-$PROPERTY.trx"

# 遍历指定目录下的所有子文件夹
for dir in "$SEARCH_DIR"/"$SPEC"-"$PROPERTY"*/; do
    # 检查是否存在名为的文件
    if [ -e "$dir/$FILE_NAME" ]; then
        # 获取子文件夹名
        subdir_name=$(basename "$dir")

        # 生成新的文件名（添加子文件夹名前缀）
        new_filename="${subdir_name}_${FILE_NAME}"

        # 复制并重命名文件到目标目录
        cp "$dir/$FILE_NAME" "$TARGET_DIR/$new_filename"

        echo "Copied and renamed $dir/$FILE_NAME to $TARGET_DIR/$new_filename"
    fi
done
